みちくさ・すうがく 論理も無限